perm filename MTCPUB.PUB[LET,JMC] blob sn#411008 filedate 1979-01-15 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.font B "zero30"
C00003 ENDMK
C⊗;
.font B "zero30"
.AT "qt" ⊂"%At%*"⊃
.AT "qf" ⊂"%Af%*"⊃
.AT "qw" ⊂"%8T%*"⊃
.at "Goedel" ⊂"G%B:%*odel"⊃
.at "GOEDEL" ⊂"G%B:%*ODEL"⊃
.at "q≤" ⊂"%8b%*"⊃
.at "q≥" ⊂"%8d%*"⊃
.at "q<" ⊂"%8a%*"⊃
.at "q>" ⊂"%8c%*"⊃
.at "qnil" ⊂"%1NIL%*"⊃
.at "qNIL" ⊂"%1NIL%*"⊃